ccflags-y := -I$(VMM_HDR_DIR)

obj-m += rtvmm.o

rtvmm-objs := vmm_linux.o

